# Copyright (c) 2023 HPMicro
# SPDX-License-Identifier: BSD-3-Clause

sdk_inc(./include)
sdk_src(cmsis_os2.c)
